<?php

if ($_SESSION['droits']!=3) //si l'utilisateur n'est pas un administrateur on le renvoie a l'acceuil // or (!isset($_SESSION['droits'])
    {
	echo "
        <script language='javascript' type='text/javascript'>
        window.location.replace('index.php');
        </script>";
    }
else
    {
echo "
<h2 style='padding:20px 0 0 0;'><a href='#' id='intro'>Acceuil administrateur</a></h2>
<p>
Bonjour et bienvenue dans votre interface administrateur.
<br><br>
Vous pouvez :<br>
<ul>
-Gerer des agences :
    <li><a href='#'>Ajouter une agence</a></li>
    <li><a href='#'>Modifier l'adresse d'une agence</a></li>
    <li><a href='#'>Supprimer une agence</a></li>
-Gerer des employes :
    <li><a href='#'>Ajouter un employes a une agence</a></li>
    <li><a href='#'>Modifier les informations personnelles d'un employes</a></li>
    <li><a href='#'>Supprimer un employes</a></li>
    <li><a href='#'>Ajouter un administeur</a></li>
-Gerer votre compte administrateur :
    <li><a href='#'>Modifier vos informations personnelles</a></li>
    <li><a href='#'>Supprimer votre compte administrateur</a></li>
</ul>
<br>
<br>
<br>
</p>
<h2 style='padding:20px 0 0 0;'><a href='index.php?p=logout' id='intro'>Deconnexion</a></h2>
<p></p>
";
    }
?>